新世代プログラミング⑩ インファレンシャル・プログラミング